package logicaDePredicados;

public class LogicOperatorFactory {
	private static LogicOperator or = new LogicOperator("v");
	private static LogicOperator and = new LogicOperator("^");
	private static LogicOperator then = new LogicOperator("->");
	private static LogicOperator not = new LogicOperator("¬");
	private static LogicOperator leftBracket = new LogicOperator ("(");
	private static LogicOperator rightBracket = new LogicOperator (")");
	private static LogicQuantifier essential = new LogicQuantifier(false);
	private static LogicQuantifier existential = new LogicQuantifier(true);
	
	public static LogicOperator createOR(){
		return or;
		
	}
	public static LogicOperator createAND(){
		return and;
		
	}
	public static LogicOperator createTHEN(){
		return then;
		
	}
	public static LogicOperator createNOT(){
		return not;
		
	}
	public static LogicOperator createLeftBracket(){
		return leftBracket;
	}
	public static LogicOperator createRightBraket(){
		return rightBracket;
	}
	public static LogicQuantifier createEssentialQuantifier(){
		return essential;
	}
	public static LogicQuantifier createExistentialQuantifier(){
		return existential;
	}
}
